信息熵,约束与序

一个随机系统的几率分布函数Ｐ（ｑ）常是在一定的约束条件下的最大熵分布，而其信息熵Ｓ则是系统状态无序性的量度，本文证明，增加约事的数目和强度都将使Ｓ减少，使系统趋于较有序的状态。     

高阶非线性非完整系统的相对论性广义Boltzmann—Hamel方程

本文由万有D'Alembert原理推导出高阶非线性非完整系统的相对论性广义Boltzmann-Hamcl方程。     

Connecting Conditions and Constraint Equations in Applied Science

IntroductionIn applied science , e . g . machinery , vibrationmechanics , fluid mechanics , and management science , toobtain the opti mal solution of some issues , the objectfunction is usually shown since the abstract mathematicsmodel is set , and all kinds of boundary conditions andconnecting conditions or constraint conditions are putforward . Above these conditions are shown with the shapesof constraint equations . For example ,in machinery opti maldesign, to get the opti mal solution of …     

Global analysis theory of climate system and its applications

The idea and main theoretical results of the global analysis theory of climate system are briefly summarized in this paper. A theorem on the global behavior of climate system is given, i.e. there exists a global attractor in the dynamical equations of climate, any state of climate system will be evolved into the global attractor as time increases,indicating the nonlinear adjustment process of climate system to external forcing. The different effects of external forcing, dissipation and nonlinearity on the long-term behavior of solutions are pointed out, and some main applications of the global analysis theory are also introduced. Especially, three applications, the adjustment and evolution processes of climate, the principle of numerical model design and the optimally numerical integration, are discussed.     

Best Tracking Performance under Plant Uncertainty and Control Energy Constraint

This paper has investigated best tracking performance for linear feedback control systems in the case that plant uncertainty and control effort need to be considered simultaneously. Firstly, an average integral square criterion of the tracking error and the plant input energy over a class of additive model errors is defined. Then, utilizing spectral factorization to minimize the performance index, we obtain an optimal controller design method, and furthermore study optimal tracking performance under plant uncertainty and control energy constraint. The results can be used to evaluate optimal average tracking performance and control energy in designing practical control systems.     

基于均值约束满足度剪枝策略的高效序列模式挖掘算法

为了减少无用候选序列的生成,并使挖掘得到的序列模式符合用户要求,约束条件下的频繁序列模式挖掘已成为数据挖掘领域的一个新的重要研究方向.作为强约束形式的一种,均值约束目前仍然是基于约束的频繁序列模式挖掘的一个困难问题,其主要原因在于很难利用均值约束来进行序列模式挖掘中的剪枝.为此,提出了一种基于均值约束满足度剪枝策略,并且以前缀增长方法为基础设计了一个有效的频繁序列模式挖掘算法.通过分析并实验验证了该算法的时间效率和剪枝性能,结果表明,该方法是有效的.     

一种个性化人脸游戏引擎设计

个性化人脸在游戏人物造型技术中的地位变得越来越重要.设计一种基于照片的个性化人脸游戏引擎.在定义一种面向游戏且能有效支持个性化变形和实时显示的三维中性人脸模型数据结构基础上,使用径向基函数插值方法变形中性人脸模型到特定人脸模型.同时给出了一种基于特征约束的连续多分辨率快速纹理映射方法.实验表明,使用引擎绘制的个性化人脸,满足游戏中人物造型所必须平衡的精确性和效率两方面的要求.     

基于命题逻辑的组件约束检测

针对组件约束数量大、复杂度高的问题，提出了一种基于命题逻辑的组件约束检测算法．通过命题符号化的过程，即通过5个联结词将日常语言中的命题转化成数理逻辑中的形式命题．该算法首次使用受限真值表的概念来描述组件约束，清楚、准确地揭示了软件组织结构、动态行为以及组件之间的转换，通过包含、否定和插入等规则来合并真值表，以解决检测组件约束时存在的冗余与冲突问题，并获得期望行为的最小组件集合，从而保证了组件约束之间相互一致．与基于规则模式表方法相比，所提算法克服了人工检测的不确定性，改善了检测的时间性能，并可将冲突错判率降低大约10％，平均处理时间降低大约33％．     

一类快速非线性预测控制的分析与改进

针对仿射非线性系统,分析了一类快速预测控制算法稳态误差的来源,给出了误差的解析表达式.通过反馈校正消除稳态误差,提高了算法对模型失配的鲁棒性.对水箱液位控制系统的仿真和实验研究,结果验证了分析和改进的有效性.